#!/bin/bash

echo "Stopping registry server"

. server_config.sh

$JAVA_CMD ca.uvic.group2.Bootloader stop registry

PIDFILE=/tmp/$USER-registry.pid

if [ -e "$PIDFILE" ]; then
    echo "Killing: `cat $PIDFILE`"
    kill `cat $PIDFILE`
else
    echo "$PIDFILE not found"
fi

